<html>
<head><meta charset="utf-8"><title>Rust 2018 Docs Push · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html">Rust 2018 Docs Push</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="147318016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318016">(Nov 08 2018 at 18:13)</a>:</h4>
<p>I am considering doing a nomicon docs push for the 2018 release, taking input on desired topics to add or reinforce. Also interested in any discussion of what should be in the nomicon vs the reference (originally the nomicon was written as a partial replacement for the reference, when it was a tire fire, but now the reference is coming together?)</p>



<a name="147318217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318217">(Nov 08 2018 at 18:17)</a>:</h4>
<p>NLL and Futures and/or all of async seem like good candidates. Someone already has a PR up to try to introduce NLL stuff into the nomicon, haven't reviewed it yet.</p>



<a name="147318232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318232">(Nov 08 2018 at 18:17)</a>:</h4>
<p>I am also tempted to add things like some "safe" superset of all the reference semantics y'all are considering</p>



<a name="147318285"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318285" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318285">(Nov 08 2018 at 18:18)</a>:</h4>
<p>like the nasty "creating a reference asserts the memory is allocated" issue we have in BTreeMap</p>



<a name="147318299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318299">(Nov 08 2018 at 18:18)</a>:</h4>
<p><span class="user-mention" data-user-id="137587">@Gankro</span> I'll write a blog post soon on the aliasing/reference model stuff</p>



<a name="147318303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318303">(Nov 08 2018 at 18:18)</a>:</h4>
<p>it's coming along real nice :)</p>



<a name="147318324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318324">(Nov 08 2018 at 18:19)</a>:</h4>
<p>but none of it is normative yet. not sure if it has relevance for the nomicon.</p>



<a name="147318339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318339">(Nov 08 2018 at 18:19)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> are the concepts far enough along that they would be a good idea to discuss in the nomicon?</p>



<a name="147318344"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318344" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gankra <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318344">(Nov 08 2018 at 18:19)</a>:</h4>
<p>hrm</p>



<a name="147318352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318352">(Nov 08 2018 at 18:19)</a>:</h4>
<p>well that depends on your scope. my plan was a "call for help" where I ask people to throw their stuff at miri and see what sticks</p>



<a name="147318413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318413">(Nov 08 2018 at 18:20)</a>:</h4>
<p>maybe that works better this time than last year because we have miri in the playground</p>



<a name="147318441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust%202018%20Docs%20Push/near/147318441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/Rust.202018.20Docs.20Push.html#147318441">(Nov 08 2018 at 18:21)</a>:</h4>
<p>I think the general concepts are a useful way to think about the rules for references. some of the details might change because we might need special exceptions for a thing or because we can factor away a special exception. but whether the concepts will be what we eventually make normative? no way to know^^</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>